121. Contributions to non-standard analysis
پدیدآورنده: Symposium on Non-standard Analysis, 0791, Oberwolfach, Ger.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Nonstandard mathematical analysis-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
300
.
S973
1970
122. Contributions to non-standard analysis
پدیدآورنده: Symposium on Non-standard Analysis, Oberwolfach, Ger.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematical analysis, nonstandard-Congresses,Congresses ، Logic, Symbolic and mathematical
رده :
QA
300
.
S973
1970
123. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده: Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
124. Finite and infinite combinatorics in sets and logic
پدیدآورنده: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
125. Finite and infinite combinatorics in sets and logic
پدیدآورنده: / edited by N. W. sauer, R. E. Woodrow, and B. Sands
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Combinatorial analysis -- Congresses,Settheory -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
164
.
N38
1991
126. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
127. Formal Concept Analysis :
پدیدآورنده: Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
128. Formal Concept Analysis
پدیدآورنده: \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق ریاضی-- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
129. Formal concept analysis
پدیدآورنده: Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
130. Formal concept analysis : foundations and applications
پدیدآورنده: Bernhard Ganter, Gerd Stumme, Rudolf Wille )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Lattice theory,Congresses ، Comprehension )Theory of Knowledge(,Congresses ، Logic, Symbolic and mathematical,Congresses ، Information theory,Mathematical models -- Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
3626
131. Formal systems and recursive functions /
پدیدآورنده: edited by J.N. Crossley and M.A.E. Dummett.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Recursive functions, Congresses.,Fonctions récursives.,Logique symbolique et mathématique.,Fonctions récursives-- Congrès.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique-- Congrès.,Recursive functions.
رده :
QA9
.
615
.
F67
1965
132. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
133. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
134. Foundations of logic and linguistics : problems and their solutions
پدیدآورنده: edited by Georg Dorn and P. Weingartner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Language and logic,Philosophy -- Congresses ، Language and languages
رده :
BC
5
.
I56
1985
135. Frontiers of Combining Systems
پدیدآورنده: \ Carsten Lutz, Silvio Ranise (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a01,a01
رده :
QA
9
.
A1
F7
2015
E-Book
,
136. Frontiers of Combining Systems
پدیدآورنده: Silvio Ghilardi, Roberto Sebastiani (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2009
137. Frontiers of combining systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ;
138. Frontiers of combining systems :
پدیدآورنده: Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
139. Frontiers of combining systems :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ;
140. Frontiers of combining systems :
پدیدآورنده: Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
